Application for a Dagstuhl Seminar Deduction and Arithmetic
نویسندگان
چکیده
This application proposes a seminar bringing together researchers working in deduction and fields related to arithmetic constraint solving. Current research in deduction can be categorized in three main strands: SMT solvers, automated firstorder provers, and interactive provers. Although dealing with arithmetic is currently in focus of all three for some years, they are still in need of much better support of arithmetic. It can be safely assumed that arithmetic will be a major focus in all three main approaches to automated deduction during the coming 5-10 years. In this situation it is extremely important that the various sub-communities communicate with each other to avoid duplicate effort and to exploit synergies.
منابع مشابه
Algorithms for Optimization Problems in Planar Graphs (Dagstuhl Seminar 13421)
This report documents the program and the outcomes of Dagstuhl Seminar 13411 “Deduction and Arithmetic”. The aim of this seminar was to bring together researchers working in deduction and fields related to arithmetic constraint solving. Current research in deduction can be categorized in three main strands: SMT solvers, automated first-order provers, and interactive provers. Although dealing wi...
متن کاملReal-World Visual Computing (Dagstuhl Seminar 13431)
Deduction and Arithmetic (Dagstuhl Seminar 13411) Nikolaj Bjørner, Reiner Hähnle, Tobias Nipkow, and Christoph Weidenbach . . . . . . 1 Genomic Privacy (Dagstuhl Seminar 13412) Kay Hamacher, Jean Pierre Hubaux, and Gene Tsudik . . . . . . . . . . . . . . . . . . . . . . . . . . . 25 Algorithms for Optimization Problems in Planar Graphs (Dagstuhl Seminar 13421) Glencora Borradaile, Philip Klein,...
متن کاملImprovements in Formula Generalization
From 01.10. to 05.10.2007, the Dagstuhl Seminar 07401 Deduction and Decision Procedures was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar are put together in this paper.
متن کاملA description logic voyage: from inexpressive to expressive languages and back
From 23.10.05 to 28.10.05, the Dagstuhl Seminar 05431 Deduction and Applications was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ide...
متن کاملHorn formulas, directed hypergraphs, lattices and closure systems: related formalisms and applications (Dagstuhl Seminar 14201)
This report documents the program and the outcomes of Dagstuhl Seminar 14201 “Horn formulas, directed hypergraphs, lattices and closure systems: related formalisms and applications”. The seminar brought together researchers working in various areas of mathematics and computer science, mostly in algebra, logic, date base theory, artificial intelligence and data mining. A key objective of the sem...
متن کامل